back to basic reasoning